adding policies to Makefile.in

diff --git a/Makefile.in b/Makefile.in
index d8093de5e8e1aab727dd93a5b58846de130d8e3a..9aa14d5d2055d09bc36641d367a53a356448cccd 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -136,7 +136,7 @@ clean:
 # === Documentation
 
 DOCS := index faq config guide manifest build-script pkgid-spec crates-io \
-       environment-variables specifying-dependencies source-replacement
+       environment-variables specifying-dependencies source-replacement policies
 DOC_DIR := target/doc
 DOC_OPTS := --markdown-no-toc \
                --markdown-css stylesheets/normalize.css \